THE RAMIFIED ANALYTICAL HIERARCHY USING EXTENDED LOGICS
نویسندگان
چکیده
منابع مشابه
A Recursion-theoretic Characterization of the Ramified Analytical Hierarchy
Introduction. According to a classical theorem of Post, the arithmetical sets may be obtained by the following construction : Step 0: "take" all the r.e. sets. Step n+1 : "add" all sets which are r.e. in sets "taken" at a previous stage. Moreover, this construction is intimately related to the Kleene arithmetical hierarchy, defined in terms of the number and quality of alternating numberquantif...
متن کاملA Hierarchy of Modal Logics — Extended version —
When dealing with different systems of modal logic, it is often necessary to know about the interrelations between them. This paper focuses on and gives the inclusion structure of a larger collection of modal systems, among them the most common logics. As a first step, we find and prove all inclusions between the systems in question, using their axiomatization. Subsequently, we show for all rem...
متن کاملA Hierarchy of Temporal Logics with Past (Extended Abstract)
We extend the classical hierarchy of branching-time temporal logics between UB and CTL by studying which additional expressive power (if any) stems from the incorporation of past-time modalities. In addition, we propose a new temporal combinator, N for \Now", that brings new and interesting expressive power. In several situations, non-trivial translation algorithms exist from a temporal logic w...
متن کاملA Hierarchy of Ramified Theories below PRA
A two-sorted arithmetic EA(I;O) of elementary recursive strength, based on the Bellantoni-Cook variable separation, is first enriched by addition of quantifiers over “input” or “normal” variables, and then extended in two different ways to a hierarchy of theories whose provably computable functions coincide with the levels of the Grzegorczyk hierarchy.
متن کاملThe Analytical Hierarchy Process
The Supplier Selection Problem (SSP) consists of analyzing and measuring the performance of a set of suppliers in order to rank and select them for improving the competitiveness of the whole supply system. As many conflicting factors should be taken into account in the analysis, the problem can be tackled using multi-criteria models and methods. In this work a careful scrutiny of the papers app...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Bulletin of Symbolic Logic
سال: 2018
ISSN: 1079-8986,1943-5894
DOI: 10.1017/bsl.2018.69